Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
421	Cellular Automata with an Infinite Number of Subshift Attractors ˚ Petr Kurka Center for Theoretical Study, Academy of Sciences and Charles University, Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Shift space Cellular automaton Limit set Automata theory Mathematical analysis Subshift of finite type Combinatorics on words Mathematics Attractor
422	Erasable coercions: a unified approach to type systems Julien Cretin January 30, 2014 Add to Reading List Source URL: phd.ia0.fr Language: English - Date: 2014-01-30 14:31:16 Type theory Functional languages Cross-platform software Programming language implementation OCaml Computing platforms Type system Programming language Bytecode Computing Software engineering Software
423	ENIGMA 2000 NEWSLETTER http://www.enigma2000.org.uk BAe Systems Type 101 Mobile Air Defence Radar System. A fully automatic system capable of firing devices without human intervention. Add to Reading List Source URL: www.numbersoddities.nl Language: English - Date: 2013-03-04 16:40:35
424	Simply complete the form below and post it back to us to become a Friend of the Mary Rose today! Name: Membership Type Add to Reading List Source URL: www.maryrose.org Language: English - Date: 2014-01-22 12:20:44 Payment systems Taxation in the United Kingdom Finance Banking Direct debit Economy of Germany Gift Aid Income tax in the United States Tax Business Economics Accountancy
425	PLEASE TYPE POLICY TITLE HERE Add to Reading List Source URL: www.schn.health.nsw.gov.au Language: English - Date: 2015-05-25 10:05:51 Receipt Cash register Cheque Invoice Money order Business Commerce Payment systems
426	European Commission policy initiative on aviation safety and a possible revision of Regulation (EC) No Add to Reading List Source URL: easa.europa.eu Language: English - Date: 2015-05-25 11:17:13 European Aviation Safety Agency Flight training Air safety Safety Management Systems Single European Sky Flight simulator Type certificate General aviation in the United Kingdom Joint Aviation Authorities Aviation Transport Safety
427	ASN1C C/C++ Code Generation for 3GPP and LTE Specifications Objective Systems, Inc., December 2008 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2008-12-22 00:00:00 C programming language Data types C++ Procedural programming languages Type theory Typedef Struct Union C Computing Software engineering Computer programming
428	ASN1C Support for Information Objects and Parameterized Types Objective Systems, Inc., April 2002 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2004-07-07 00:00:00 Cross-platform software Type theory Data types Information Object Class Abstract Syntax Notation One Type safety C Pointer Type system Computing Software engineering Computer programming
429	PDF Document Add to Reading List Source URL: www.fzt.haw-hamburg.de Language: English - Date: 2009-11-02 06:21:14 Technology Software engineering Project management Business process Process management European Aviation Safety Agency Type certificate Concurrent engineering Software development process Systems engineering Management Business
430	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory

UPDATE